『An Extensible Theorem Proving Frontend』